function func(@foo x) {}
